Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
751	Journal of Machine Learning Research[removed]1604 Submitted 11/09; Published 4/10 MOA: Massive Online Analysis Albert Bifet Add to Reading List Source URL: www.jmlr.org Language: English - Date: 2010-05-05 17:35:55 Data mining Ensemble learning Concept drift Formal sciences Data analysis Statistical classification Weka Data stream clustering Boosting Machine learning Computational statistics Statistics
752	A Sustainability Poverty and Infrastructure Routine for Evaluation User Manual ASPIRE USER MANUAL Add to Reading List Source URL: www.oasys-software.com Language: English - Date: 2011-09-23 05:48:38 Formal methods Project management Prediction Engineers Against Poverty Program evaluation Stakeholder analysis Environmental impact assessment Systems engineering process IBM Rational Unified Process Evaluation Science Impact assessment
753	To be more agile and efficient BIRT Analytics for Retail Anticipate greater opportunities Add to Reading List Source URL: www.actuate.com Language: English - Date: 2013-09-30 06:55:49 Business Data management Data analysis Analytics Mathematical finance Predictive analytics Data mining Business analytics Text analytics Business intelligence Formal sciences Statistics
754	Computational Historiography: Data Mining in a Century of Classics Journals David Mimno More than a century of modern Classical scholarship has created a vast archive of journal publications that is now becoming availabl Add to Reading List Source URL: www.perseus.tufts.edu Language: English - Date: 2011-06-15 11:14:26 Natural language processing Artificial intelligence Information retrieval Topic model Formal sciences ACM Transactions on Computational Logic Latent Dirichlet allocation Latent semantic analysis Computational linguistics Statistical natural language processing Statistics Science
755	Object Observations: Engineering the Enterprise David Van Camp Object Observations: Engineering the Enterprise A Reuse-driven Approach for Parallel Iterative Development (RAPID) Add to Reading List Source URL: davidvancamp.com Language: English - Date: 2002-04-18 14:10:30 Software Formal methods Project management Software project management Code reuse Software development process Domain analysis Functional software architecture Software development methodology Software development Software engineering Information technology management
756	What’s Next for Text Text Analytics Today and Tomorrow: Market, Technology, and Trends A white paper prepared for Text Analytics Summit 2007 Add to Reading List Source URL: altaplana.com Language: English - Date: 2007-04-19 21:50:25 Natural language processing Business intelligence Statistical natural language processing Formal sciences Text analytics Text mining Analytics UIMA ADAPA Statistics Science Data analysis
757	Database Systems Journal vol. IV, no[removed]Data Mining Solutions for the Business Environment Ruxandra PETRE Add to Reading List Source URL: www.dbjournal.ro Language: English - Date: 2014-02-11 08:18:18 Data analysis Data management Formal sciences Data mining Oracle Data Mining Text analytics Knowledge discovery Analytics Customer attrition Statistics Business intelligence Science
758	Reviewing Propp’s Story Generation Procedure in the Light of Computational Creativity Pablo Gerv´as 1 Abstract. Vladimir Propp’s analysis of Russian folk tales is known to have produced a semi-formal description of Add to Reading List Source URL: nil.fdi.ucm.es Language: English - Date: 2014-02-25 16:17:02 Fiction Literary techniques Mathematics Culture Vladimir Propp Narratology Morphology Sequence Computational creativity Literature Folklore Elementary mathematics
759	Book "Data Mining on Multimedia Data" Add to Reading List Source URL: www.data-mining-tutorial.de Language: English - Date: 2009-10-09 07:21:07 Machine learning Image processing Formal sciences Cluster analysis Data mining Feature selection Segmentation Conceptual clustering Hierarchical clustering Statistics Learning Data analysis
760	Australia’s Strategic Analysis Capabilities: Reaching Critical Mass Rory Medcalf Australia’s strategic analysis capabilities extend far beyond the staff, methods and sources available to formal intelligence assessmen Add to Reading List Source URL: www.securitychallenges.org.au Language: English - Date: 2011-06-23 06:59:44 Intelligence Data collection Military intelligence Office of National Assessments Australian Intelligence Community Defence Intelligence Organisation Defence Intelligence Central Intelligence Agency Intelligence analysis Australian intelligence agencies National security Government

UPDATE